widget: Use cssnode api to get the filter value
authorTimm Bäder <mail@baedert.org>
Thu, 2 Jan 2020 09:04:29 +0000 (10:04 +0100)
committerTimm Bäder <mail@baedert.org>
Tue, 7 Jan 2020 16:27:18 +0000 (17:27 +0100)
commit73ce43745967c865b2fba22ef267d61b38e923d6
treece9723d9e8f70474dd3a72c0edd9cff854de23cc
parentca4ae8117023a1fd0e2bef90860cd63e323dc6b6
widget: Use cssnode api to get the filter value

it's confusing that we use GtkStyleContext here while we use the CssNode
directly elsewhere.
gtk/gtkwidget.c